Mateja Jamnik : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (31)
Les plus populaires
Liste
- Liste
- Tableau

1

What is a proof?

Bundy, Alan, Jamnik, Mateja, Fugard, Andrew

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Année:

2005

Langue:

english

Fichier:

PDF, 275 KB

english, 2005

2

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 ||

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 26.83 MB

english, 2016

3

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Stapleton, Gem, Jamnik, Mateja, Shimojima, Atsushi

Journal:

Journal of Logic, Language and Information

Année:

2017

Langue:

english

Fichier:

PDF, 1015 KB

english, 2017

4

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings

Goel, Ashok K., Jamnik, Mateja, Narayanan, N. Hari

Année:

2010

Langue:

english

Fichier:

PDF, 567 KB

english, 2010

5

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || The Effects of Perception of Efficacy and Diagram Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems

Goel, Ashok K., Jamnik, Mateja, Narayanan, N. Hari

Année:

2010

Langue:

english

Fichier:

PDF, 349 KB

english, 2010

6

Speedith: A Reasoner for Spider Diagrams

Urbas, Matej, Jamnik, Mateja, Stapleton, Gem

Journal:

Journal of Logic, Language and Information

Année:

2015

Langue:

english

Fichier:

PDF, 3.74 MB

english, 2015

7

Silica coatings on clarithromycin

Marjan Bele, Đorđe Dmitrašinovič, Odon Planinšek, Mateja Salobir, Stane Srčič, Miran Gaberšček, Janko Jamnik

Journal:

International Journal of Pharmaceutics

Année:

2005

Langue:

english

Fichier:

PDF, 313 KB

english, 2005

8

On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner

Louise A. Dennis, Mateja Jamnik, Martin Pollet

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 274 KB

english, 2006

9

Combined reasoning by automated cooperation

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber

Journal:

Journal of Applied Logic

Année:

2008

Langue:

english

Fichier:

PDF, 287 KB

english, 2008

10

Agent Based Mathematical Reasoning

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1999

Fichier:

PDF, 625 KB

1999

11

Learning Strategies for Mechanised Building of Decision Procedures

Mateja Jamnik, Predrag Janičić

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 878 KB

english, 2003

12

On Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy, Ian Green

Journal:

Journal of Logic, Language and Information

Année:

1999

Langue:

english

Fichier:

PDF, 125 KB

english, 1999

13

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || Alternative Strategies for Spatial Reasoning with Diagrams

Goel, Ashok K., Jamnik, Mateja, Narayanan, N. Hari

Année:

2010

Langue:

english

Fichier:

PDF, 272 KB

english, 2010

14

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || Relating Two Image-Based Diagrammatic Reasoning Architectures

Goel, Ashok K., Jamnik, Mateja, Narayanan, N. Hari

Année:

2010

Langue:

english

Fichier:

PDF, 901 KB

english, 2010

15

[IEEE 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - San Jose, CA, USA (2013.09.15-2013.09.19)] 2013 IEEE Symposium on Visual Languages and Human Centric Computing - Designing inference rules for spider diagrams

Stapleton, Gem, Jamnik, Mateja, Urbas, Matej

Année:

2013

Langue:

english

Fichier:

PDF, 377 KB

english, 2013

16

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || Attention Direction in Static and Animated Diagrams

Goel, Ashok K., Jamnik, Mateja, Narayanan, N. Hari

Année:

2010

Langue:

english

Fichier:

PDF, 153 KB

english, 2010

17

Special Issue on Efficacy of Diagrammatic Reasoning || On Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy and Ian Green

Journal:

Journal of Logic, Language and Information

Année:

1999

Fichier:

PDF, 2.84 MB

1999

18

Special Issue on Efficacy of Diagrammatic Reasoning || On Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy and Ian Green

Journal:

Journal of Logic, Language and Information

Année:

1999

Langue:

english

Fichier:

PDF, 2.84 MB

english, 1999

19

[IEEE 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Atlanta, GA, USA (2015.10.18-2015.10.22)] 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Interactive visual machine learning in spreadsheets

Sarkar, Advait, Jamnik, Mateja, Blackwell, Alan F., Spott, Martin

Année:

2015

Langue:

english

Fichier:

PDF, 1.00 MB

english, 2015

20

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || Exploring Representations of Student Time-Use

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2016

21

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || An Investigation into OWL for Concrete Syntax Specification Using UML Notations

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 458 KB

english, 2016

22

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || On Comments in Visual Languages

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 330 KB

english, 2016

23

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || Who, Where, When and with Whom? Evaluation of Group Meeting Visualizations

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 979 KB

english, 2016

24

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || Evaluating Diagrammatic Patterns for Ontology Engineering

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 632 KB

english, 2016

25

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 263 KB

english, 2016

26

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 9781 || Bistable Perception and Fractal Reasoning

Jamnik, Mateja, Uesaka, Yuri, Elzer Schwartz, Stephanie

Année:

2016

Langue:

english

Fichier:

PDF, 1.54 MB

english, 2016

27

[IEEE 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Cambridge, United Kingdom (2016.9.4-2016.9.8)] 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Visual discovery and model-driven explanation of time series patterns

Sarkar, Advait, Spott, Martin, Blackwell, Alan F., Jamnik, Mateja

Année:

2016

Langue:

english

Fichier:

PDF, 1.49 MB

english, 2016

28

Accountants’ ethical perceptions from several perspectives: evidence from Slovenia

Odar, Marjan, Jerman, Mateja, Jamnik, Anton, Kavčič, Slavka

Journal:

Economic Research-Ekonomska Istraživanja

Année:

2017

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2017

29

[ACM Press the 10th International Symposium - Bangkok, Thailand (2017.08.14-2017.08.16)] Proceedings of the 10th International Symposium on Visual Information Communication and Interaction - VINCI '17 - How Network-based and set-based visualizations aid consistency checking in ontologies

Sato, Yuri, Stapleton, Gem, Jamnik, Mateja, Shams, Zohreh, Blake, Andrew

Année:

2017

Langue:

english

Fichier:

PDF, 627 KB

english, 2017

30

Human inference beyond syllogisms: an approach using external graphical representations

Sato, Yuri, Stapleton, Gem, Jamnik, Mateja, Shams, Zohreh

Journal:

Cognitive Processing

Année:

2018

Langue:

english

Fichier:

PDF, 2.22 MB

english, 2018

31

[IEEE 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Dunedin, New Zealand (2020.8.10-2020.8.14)] 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Correspondence-based analogies for choosing problem representations

Stockdill, Aaron, Raggi, Daniel, Jamnik, Mateja, Garcia, Grecia Garcia, Sutherland, Holly E. A., Cheng, Peter C.-H., Sarkar, Advait

Année:

2020

Fichier:

PDF, 187 KB

2020